No Double Discount: Condition-Based Simultaneity Yields Limited Gain

نویسندگان

  • Yoram Moses
  • Michel Raynal
چکیده

Assuming each process proposes a value, the consensus problem requires the non-faulty processes to agree on the same value that has to be a proposed value. Solutions to the consensus problem in synchronous systems are based on the round-based model, namely, the progress of the processes is according to synchronous rounds. Simultaneous consensus requires that the non-faulty processes decide not only on the same value, but decide during the very same round. It has been shown by Dwork and Moses that, in a synchronous system prone to t process crashes, the earliest round at which a common decision can be simultaneously obtained is (t + 1) −D where D is a non-negative integer determined by the actual failure pattern F . The condition-based approach to solve consensus assumes that the input vector belongs to a set C (a set of input vectors satisfying a property called legality). Interestingly, the conditions for synchronous consensus define a hierarchy of sets of conditions S t ⊂ · · · ⊂ S d t ⊂ · · · ⊂ S t t (where the set S t t contains the condition made up of all possible input vectors). It has been shown that d + 1 is a tight lower bound on the minimal number of rounds for synchronous condition-based consensus. This paper considers the synchronous condition-based consensus problem with simultaneous decision. It first presents a simple algorithm that directs the processes to decide simultaneously at the end of the round RSt,d,F = min((t + 1) −D, d + 1) (i.e., RSt,d,F = (t + 1)−max(D, δ) with δ = t − d). The paper then shows that RSt,d,F is a lower bound for the condition-based simultaneous consensus problem. It thus follows that the algorithm designed is optimal in each and every run, and not just in the worst case: For every choice of failure pattern by the adversary (and every input configuration), the algorithm reaches simultaneous as fast as any correct algorithm could do under the same conditions. This shows that, contrary to what could be hoped, when considering condition-based consensus with simultaneous decision, we can benefit from the best of both actual worlds (either the failure world when RSt,d,F = (t + 1)−D, or the condition world when RSt,d,F = d + 1), but we cannot benefit from the sum of savings offered by both. Only one discount applies. Key-words: Agreement problem, Condition-based agreement, Consensus, Distributed algorithm, Early decision, Lower bound, Modularity, Process crash failure, Round-based computation model, Simultaneity, Synchronous message-passing system.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Stationary Deterministic Policies for Constrained MDPs with Multiple Rewards, Costs, and Discount Factors

We consider the problem of policy optimization for a resource-limited agent with multiple timedependent objectives, represented as an MDP with multiple discount factors in the objective function and constraints. We show that limiting search to stationary deterministic policies, coupled with a novel problem reduction to mixed integer programming, yields an algorithm for finding such policies tha...

متن کامل

The pricing discount for limited liquidity: Evidence from SWX Swiss Exchange and the Nasdaq

We investigate the pricing discount for limited liquidity. Unlike previous studies that have examined the relation between historical returns and liquidity, ours looks directly at current stock prices. This approach requires less data and yields up-todate information about limited liquidity discounts. We analyze data from the Swiss exchange and the Nasdaq during 1995–2001, and find a statistica...

متن کامل

Converging evidence that common timing processes underlie temporal-order and simultaneity judgments: a model-based analysis.

Perception of simultaneity and temporal order is studied with simultaneity judgment (SJ) and temporal-order judgment (TOJ) tasks. In the former, observers report whether presentation of two stimuli was subjectively simultaneous; in the latter, they report which stimulus was subjectively presented first. SJ and TOJ tasks typically give discrepant results, which has prompted the view that perform...

متن کامل

Quantum noise of a white-light cavity using a double-pumped gain medium

Laser interferometric gravitational-wave detectors implement Fabry-Pérot cavities to increase their peak sensitivity. However, this is at the cost of reducing their detection bandwidth, which originates from the propagation phase delay of the light. The “white-light-cavity” idea, first proposed by Wicht et al. [Opt. Commun. 34, 431 (1997)], is to circumvent this limitation by introducing anomal...

متن کامل

Voluntary and Involuntary Movements Widen the Window of Subjective Simultaneity

Forming a coherent percept of an event requires different sensory inputs originating from the event to be bound. Perceiving synchrony aids in binding of these inputs. In two experiments, we investigated how voluntary movements influence the perception of simultaneity, by measuring simultaneity judgments (SJs) for an audiovisual (AV) stimulus pair triggered by a voluntary button press. In Experi...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Inf. Comput.

دوره 214  شماره 

صفحات  -

تاریخ انتشار 2008